LG/CY correspondence: The state space isomorphism
نویسندگان
چکیده
منابع مشابه
Distributed State Space Generation for Graphs up to Isomorphism
In order to achieve reliability of systems, formal verification techniques are required. We model systems as graph transition systems, where states are represented by graphs and transistions between states are defined by graph transformation rules. For formal verication, often the state space of the system has to be generated, i.e., the set of all reachable states. The main problem with generat...
متن کاملThe Space Complexity of k -Tree Isomorphism
We show that isomorphism testing of k-trees is in the class StUSPACE(log n) (strongly unambiguous logspace). This bound follows from a deterministic logspace algorithm that accesses a strongly unambiguous logspace oracle for canonizing k-trees. Further we give a logspace canonization algorithm for k-paths.
متن کاملSpace Tilings and Local Isomorphism
We prove that for every nite tile set, isometric copies of which can tile euclidean n-space, there is a tiling with the local iso-morphism property.
متن کاملCorrespondence in pictorial space.
We have investigated psychophysically determined image correspondences between pairs of photographs of a single three-dimensional (3-D) object in various poses. These correspondences were obtained by presenting the pictures simultaneously, side by side, and letting the subject match a marker in one picture with a marker (under manual control) in the other picture. Between poses, the object was ...
متن کاملFundamental Steady state Solution for the Transversely Isotropic Half Space
Response of a transversely isotropic 3-D half-space subjected to a surface time-harmonic excitation is presented in analytical form. The derivation of the fundamental solutions expressed in terms of displacements is based on the prefect series of displacement potential functions that have been obtained in the companion paper by the authors. First the governing equations are uncoupled in the cyl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Advances in Mathematics
سال: 2011
ISSN: 0001-8708
DOI: 10.1016/j.aim.2011.04.011